Metaphysical Semantics Meets Multiple Realizability
نویسنده
چکیده
Armstrong, D. M. 1997. A World of States of Affairs. Cambridge: Cambridge University Press. Bigelow, J. 1988. The Reality of Numbers: A Physicalist’s Philosophy of Mathematics. Oxford: Clarendon Press. Black, M. 1952. The identity of indiscernibles. Mind 61: 153–64. Gettier, E. 1963. Is justified true belief knowledge? Analysis 23: 121–23. Ladyman, J. and D. Ross. 2009. Every Thing Must Go: Metaphysics Naturalized. Oxford: Oxford University Press. Merricks, T. 2001. Objects and Persons. Oxford: Clarendon Press. Merricks, T. 2007. Truth and Ontology. Oxford: Clarendon Press. Williams, B. 1973. A critique of utilitarianism. In Utilitarianism: For and Against, eds. J.J.C. Smart and B. Williams, 77–150. Cambridge: Cambridge University Press.
منابع مشابه
The Semantics of the Goodness and the Ugly
There are different views concerning the meanings of the most important ethical concepts such as the goodness and the ugly. The author of this article while classifying various views and explaining them, tries to make a critical study of those views as well. Accordingly, first he goes on to examine critically the theory of emotionalists as one of the most important non-cognitive theories. Th...
متن کاملLearning based realizability for HA + EM1 and 1-Backtracking games: Soundness and completeness
We prove a soundness and completeness result for Aschieri and Berardi’s learning based realizability for Heyting Arithmetic plus Excluded Middle over semi-decidable statements with respect to 1-Backtracking Coquand game semantics. First, we prove that learning based realizability is sound with respect to 1Backtracking Coquand game semantics. In particular, any realizer of an implication-and-neg...
متن کاملA revised completeness result for the simply typed λμ-calculus using realizability semantics
In this paper, we define a new realizability semantics for the simply typed λμ-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. We also prove a completeness result of our realizability semantics using a particular term model. This paper corrects some errors in [21] by the first author and Saber.
متن کاملAn Extensional Kleene Realizability Semantics for the Minimalist Foundation
We build a Kleene realizability semantics for the two-level Minimalist Foundation MF, ideated by Maietti and Sambin in 2005 and completed by Maietti in 2009. Thanks to this semantics we prove that both levels of MF are consistent with the formal Church Thesis CT. Since MF consists of two levels, an intensional one, called mTT, and an extensional one, called emTT, linked by an interpretation, it...
متن کاملRealizability of Three-Valued Semantics for Abstract Dialectical Frameworks
We investigate fundamental properties of threevalued semantics for abstract dialectical frameworks (ADFs). In particular, we deal with realizability, i.e., the question whether there exists an ADF that has a given set of interpretations as its semantics. We provide necessary and sufficient conditions that hold for a set of three-valued interpretations whenever there is an ADF realizing it under...
متن کامل